<html>
<head><meta charset="utf-8"><title>technical deep dive · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/technical.20deep.20dive.html">technical deep dive</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="156393307"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/technical%20deep%20dive/near/156393307" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/technical.20deep.20dive.html#156393307">(Jan 18 2019 at 19:29)</a>:</h4>
<p><span class="user-mention" data-user-id="131694">@scalexm</span> we had talked about doing some kind of "deep dive" in the next traits meeting on monday -- do you think you will have something to talk about for trait object types? I could also prep something for lifetime inference</p>



<a name="156393602"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/technical%20deep%20dive/near/156393602" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/technical.20deep.20dive.html#156393602">(Jan 18 2019 at 19:33)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> yes I can prepare something</p>



<a name="156395324"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/technical%20deep%20dive/near/156395324" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/technical.20deep.20dive.html#156395324">(Jan 18 2019 at 19:59)</a>:</h4>
<p><span class="user-mention" data-user-id="131694">@scalexm</span> great -- any thoughts on what form that should take? :) I guess a write-up of some kind?</p>



<a name="156395756"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/technical%20deep%20dive/near/156395756" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/technical.20deep.20dive.html#156395756">(Jan 18 2019 at 20:05)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> yeah, I think I’m going to write an issue on the chalk repo, explaining where the current unsoundness come from and summarizing the rules I’ve come up with to hopefully have sound trait objects at least in chalk</p>



<a name="156395765"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/technical%20deep%20dive/near/156395765" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/technical.20deep.20dive.html#156395765">(Jan 18 2019 at 20:05)</a>:</h4>
<p>Then we can discuss it on Monday</p>



<a name="156395940"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/technical%20deep%20dive/near/156395940" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/technical.20deep.20dive.html#156395940">(Jan 18 2019 at 20:08)</a>:</h4>
<p>ok</p>



<a name="156395947"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/technical%20deep%20dive/near/156395947" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/technical.20deep.20dive.html#156395947">(Jan 18 2019 at 20:08)</a>:</h4>
<p>can you send a link once its ready on Zulip, so maybe people can read before the meeting?</p>



<a name="156396164"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/technical%20deep%20dive/near/156396164" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/technical.20deep.20dive.html#156396164">(Jan 18 2019 at 20:12)</a>:</h4>
<p>I’ll write everything up during the week-end</p>



<a name="156493487"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/technical%20deep%20dive/near/156493487" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/technical.20deep.20dive.html#156493487">(Jan 20 2019 at 19:03)</a>:</h4>
<p>summary for trait objects: <a href="https://github.com/rust-lang-nursery/chalk/issues/203" target="_blank" title="https://github.com/rust-lang-nursery/chalk/issues/203">https://github.com/rust-lang-nursery/chalk/issues/203</a></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>